Советский философский словарь - высказывание

По определению, любое В. имеет грамматические и логические аспекты. Грамматич. аспект В. выражается повествоват. предложением (простым или сложным), а логический его смыслом и истинностным значением. В., различающиеся как грамматич. предложения (напр., принадлежащие различным языкам), могут выражать одну и ту же мысль. Эту общую для грамматически различных В. мысль и называют содержанием, или смыслом, В.; часто её называют также суждением. Однако терминология, относящаяся к В., не установилась, и термины «В.», «предложение», «суждение» употребляются как синонимы или за ними закрепляются значения, отличающиеся от описанных выше.

В связи с языковой практикой выделяют способы употребления В. Говорят, что В. употреблено утвердительно, если оно употреблено с целью утверждения истинности выраженной в нём мысли. Утвердительное употребление В.это их наиболее частое употребление: выражая свои мысли, люди обычно претендуют на их истинность. В том случае, когда истинность содержания В. не утверждается, говорят о неутвердительном употреблении В. Одним из способов не утвердительного употребления В. является их косвенное употребление. Оно имеет целью не утверждение истинности мысли, а лишь передачу содержания.

В логике с В. имеют дело гл. обр. при применении логич. исчислений в к.-л. конкретной области объектов. В формулах же самих т. н. «чистых» логич. исчислений в основном фигурируют переменные В. и формы высказываний (выскааывательяые формы). Переменное В.это не В. в подлинном смысле, а переменная для В., т. е. переменная, на место к-рой могут подставляться конкретные («постоянные») В. (данного вида) или их имена. Форма В.это выражение, содержащее переменные (в частности, быть может, и переменные для В.) и обращающееся в В. после подстановки к.-л. значений из соответств. допустимых областей значений вместо всех входящих в неё переменных. Напр., формой В. является формула х у >2 (х, у переменные, принимающие значения, напр., из области действит. чисел; при х= 1, у = 2 эта формула обращается в истинное В. 1 2 > 2). См. Логика высказываний.